1. Constructive methods in computing science : International Summer School
پدیدآورنده : directed by E. L. Bauer...]et al.[; edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing
رده :
QA
75
.
5
.
N383
1988
